System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
191	The Functional Web Clojure Templating Libraries: Fleet and Enlive Glenn Vanderburg • InfoEther Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2010-10-04 21:54:38 Scripting languages Clojure Template processor Functional programming HTML element Web template system
192	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
193	Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented. Add to Reading List Source URL: cerea.enpc.fr Language: English - Date: 2011-02-18 05:14:41 Preprocessor Programming language implementation MOZART Polyphemus Configuration file
194	MPI + MPI: Using MPI-3 Shared Memory As a Multicore Programming System William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: www.caam.rice.edu Language: English - Date: 2016-04-21 10:28:05 Parallel computing Multi-core processor OpenMP Message Passing Interface
195	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
196	Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2013-04-19 04:38:27 Object-oriented programming Type theory Data types Scala Algebra over a field Combinatory logic Factory Subtyping Is-a Polymorphism Von Neumann algebra Type system
197	Why Rust? Jim Blandy Why Rust? by Jim Blandy Add to Reading List Source URL: www.oreilly.com Language: English - Date: 2015-09-14 14:59:51 Concurrent programming languages Procedural programming languages Cross-platform software Mozilla Rust Servo System programming language C++ Buffer overflow Go Limbo Thread
198	Project 4 - The Object-Oriented Adventure Game Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-14 08:47:08 Object-oriented programming Objective-C This Class Method Object Self Java Constructor Inheritance Common Lisp Object System Metaclass
199	Berkeley Lab Checkpoint/Restart (BLCR) for Linux Clusters Paul H Hargrove1 and Jason C Duell1 Computational Research Division, Ernest Orlando Lawrence Berkeley National Laboratory, One Cyclotron Road, Berkeley, CA 94720, Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-09-05 12:42:01 Application programming interfaces Application checkpointing Linux kernel Operating system kernels Kernel Loadable kernel module Linux Scheduling System call Procfs Operating system Message Passing Interface
200	Real-Time Systems manuscript No. (will be inserted by the editor) A Timeband Framework for Modelling Real-Time Systems Alan Burns · Ian J. Hayes Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2009-03-25 06:26:44 Granularity Time Reactive programming Emergence CCIR System A Electronic band structure

UPDATE